Shape analysis

Results: 568



#Item
71Refinements to techniques for verifying shape analysis invariants in Coq Kenneth Roe The Johns Hopkins University Abstract. The research in this proposal is aimed at creating a theorem proving framework that will be prac

Refinements to techniques for verifying shape analysis invariants in Coq Kenneth Roe The Johns Hopkins University Abstract. The research in this proposal is aimed at creating a theorem proving framework that will be prac

Add to Reading List

Source URL: www.cs.jhu.edu

Language: English - Date: 2013-10-09 23:30:44
    72Analysis The EU Border Guard takes shape Steve Peers, Professor of Law, University of Essex (13 MarchBack in December 2015, the Commission proposed the text of a Regulation creating a new EU Border Guard, which wo

    Analysis The EU Border Guard takes shape Steve Peers, Professor of Law, University of Essex (13 MarchBack in December 2015, the Commission proposed the text of a Regulation creating a new EU Border Guard, which wo

    Add to Reading List

    Source URL: www.statewatch.org

    Language: English - Date: 2016-03-13 13:43:37
      73EUROGRAPHICSP. Dutré and M. Stamminger (Guest Editors) Volume), Number 2  Shape Decomposition using Modal Analysis

      EUROGRAPHICSP. Dutré and M. Stamminger (Guest Editors) Volume), Number 2 Shape Decomposition using Modal Analysis

      Add to Reading List

      Source URL: geometry.stanford.edu

      Language: English - Date: 2009-02-02 00:47:37
      74ARTICLE IN PRESS  Computers & Graphics–894 www.elsevier.com/locate/cag  A barcode shape descriptor for curve point cloud data

      ARTICLE IN PRESS Computers & Graphics–894 www.elsevier.com/locate/cag A barcode shape descriptor for curve point cloud data

      Add to Reading List

      Source URL: geometry.stanford.edu

      Language: English - Date: 2004-11-17 18:22:10
      75IEEE TRANSACTIONS OF PATTERN ANALYSIS AND MACHINE INTELLIGENCE  1 Multi-Scale Categorical Object Recognition Using Contour Fragments

      IEEE TRANSACTIONS OF PATTERN ANALYSIS AND MACHINE INTELLIGENCE 1 Multi-Scale Categorical Object Recognition Using Contour Fragments

      Add to Reading List

      Source URL: jamie.shotton.org

      Language: English - Date: 2013-04-10 20:20:44
      76Eurographics / ACM SIGGRAPH Symposium on Computer AnimationM. Gross and D. James (Editors) Meshless Modeling of Deformable Shapes and their Motion Bart Adams1,2 , Maks Ovsjanikov1 , Michael Wand3 , Hans-Peter Sei

      Eurographics / ACM SIGGRAPH Symposium on Computer AnimationM. Gross and D. James (Editors) Meshless Modeling of Deformable Shapes and their Motion Bart Adams1,2 , Maks Ovsjanikov1 , Michael Wand3 , Hans-Peter Sei

      Add to Reading List

      Source URL: geometry.stanford.edu

      Language: English - Date: 2008-07-07 15:14:28
      77Eigenvalue (bifurcation) buckling analysis is useful for finding the load factor and corresponding buckling shape for a given set of loads and constraints. Parts are modeled in StressCheck using 3D solid or shell element

      Eigenvalue (bifurcation) buckling analysis is useful for finding the load factor and corresponding buckling shape for a given set of loads and constraints. Parts are modeled in StressCheck using 3D solid or shell element

      Add to Reading List

      Source URL: esrd.com

      Language: English - Date: 2011-10-10 13:48:19
        78ARTICLE Received 17 Oct 2013 | Accepted 17 Mar 2014 | Published 22 Apr 2014 DOI: ncomms4677  Social heuristics shape intuitive cooperation

        ARTICLE Received 17 Oct 2013 | Accepted 17 Mar 2014 | Published 22 Apr 2014 DOI: ncomms4677 Social heuristics shape intuitive cooperation

        Add to Reading List

        Source URL: static.squarespace.com

        Language: English
        79Eurographics Symposium on Geometry ProcessingR. Scopigno, D. Zorin, (Editors) Shape Segmentation Using Local Slippage Analysis Natasha Gelfand and Leonidas J. Guibas Computer Graphics Laboratory, Stanford Univers

        Eurographics Symposium on Geometry ProcessingR. Scopigno, D. Zorin, (Editors) Shape Segmentation Using Local Slippage Analysis Natasha Gelfand and Leonidas J. Guibas Computer Graphics Laboratory, Stanford Univers

        Add to Reading List

        Source URL: geometry.stanford.edu

        Language: English - Date: 2004-06-29 16:33:46
        80Statistical Analysis of Hippocampus Shape Using a Modified Mann-Whitney-Wilcoxon Test Nikhil Ram Mohan Johns Hopkins University, Center for Imaging Science  Carey Priebe

        Statistical Analysis of Hippocampus Shape Using a Modified Mann-Whitney-Wilcoxon Test Nikhil Ram Mohan Johns Hopkins University, Center for Imaging Science Carey Priebe

        Add to Reading List

        Source URL: www.cis.jhu.edu

        Language: English - Date: 2010-03-15 08:02:33